derivative of inverse secant